-
1 аксиоматизируемый тип
Большой англо-русский и русско-английский словарь > аксиоматизируемый тип
-
2 axiomatizable type
Большой англо-русский и русско-английский словарь > axiomatizable type
-
3 axiomatizable type
Математика: аксиоматизируемый тип -
4 axiomatizable type
См. также в других словарях:
АЛГЕБРАИЧЕСКАЯ СИСТЕМА — множество с определенными на нем операциями и отношениями. А. с. принадлежат к числу основных математич. структур и имеют глубоко разработанную общую теорию, сформировавшуюся в начале 50 х гг. 20 в. на грани между алгеброй и математич. логикой.… … Математическая энциклопедия